Set theoretical analogues of the Barwise-Schlipf theorem

نویسندگان

چکیده

We prove the following characterizations of nonstandard models ZFC (Zermelo-Fraenkel set theory with axiom choice) that have an expansion to a model GB (Gödel-Bernays class theory) plus Δ11-CA (the scheme Δ11-Comprehension). In what follows, M(α):=(V(α),∈)M, LM is formulae infinitary logic L∞,ω appear in well-founded part M, and Σ11-AC Σ11-Choice. Theorem A. The are equivalent for M any cardinality: (a) M(α)≺LMM unbounded collection α∈OrdM. (b) (M,X)⊨GB+Δ11-CA, where X family LM-definable subsets M. (c) There such (M,X)⊨GB+Δ11-CA. B. countable ZFC: (M,X)⊨GB+Δ11-CA+Σ11-AC.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

the study of practical and theoretical foundation of credit risk and its coverage

پس از بررسی هر کدام از فاکتورهای نوع صنعت, نوع ضمانت نامه, نرخ بهره , نرخ تورم, ریسک اعتباری کشورها, کارمزد, ریکاوری, gdp, پوشش و وثیقه بر ریسک اعتباری صندوق ضمانت صادرات ایران مشخص گردید که همه فاکتورها به استثنای ریسک اعتباری کشورها و کارمزد بقیه فاکتورها رابطه معناداری با ریسک اعتباری دارند در ضمن نرخ بهره , نرخ تورم, ریکاوری, و نوع صنعت و ریسک کشورها اثر عکس روی ریسک اعتباری داردو پوشش, وثی...

15 صفحه اول

Jon Barwise

The IGPL community and the Editorial Board deeply regrets the untimely death of Professor Jon Barwise on Sunday March 5th of this year. His departure is a great loss, not only to his family and friends and the international logic community, but also to the historical evolutionary development of logic itself. Professor Barwise’s contribution in the areas of pure and applied logic, his active par...

متن کامل

q-ANALOGUES OF EULER’S ODD=DISTINCT THEOREM

Two q-analogues of Euler’s theorem on integer partitions with odd or distinct parts are given. A q-lecture hall theorem is given.

متن کامل

Some Analogues of Glauberman's Z*-theorem

Let x be an element of prime order, p, in a finite group, G, and let P be a p-Sylow subgroup of G containing x. Say that x satisfies the unique conjugacy condition (u.c.c.) relative to G and the p-Sylow subgroup P if x is not conjugate in G to any other element of P. Let 02'(G) denote the largest normal subgroup of G oi odd order. Define the subgroup Z*(G) by the equation Z*(G)/0v(G)=Z(G/0v(G))...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Annals of Pure and Applied Logic

سال: 2022

ISSN: ['0168-0072', '1873-2461']

DOI: https://doi.org/10.1016/j.apal.2022.103158